Refinement equations for generalized translations

Refinement equations for generalized translations

Generalized ordinal sums and translations

We extend the lattice embedding of the axiomatic extensions of the positive fragment of intuitionistic logic into the axiomatic extensions of intuitionistic logic to the setting of substructural logics. Our approach is algebraic and uses residuated lattices, the algebraic models for substructural logics. We generalize the notion of the ordinal sum of two residuated lattices and use it to obtain...

Refinement of Generalized Jacobi (RGJ) Method for Solving System of Linear Equations

In this paper Refinement of Generalized Jacobi (RGJ) method for solving systems of linear algebraic equations is proposed and its convergence is discussed. Few numerical examples are considered to show the efficiency of the Refinement of Generalized Jacobi method over generalized Jacobi method. Mathematics Subject Classification: 65F10, 65F50

Mesh Refinement For Stabilized Convection Diffusion Equations

We derive a residual a posteriori error estimates for the subscales stabilization of convection diffusion equation. The estimator yields upper bound on the error which is global and lower bound that is local.

Algorithm Refinement for Stochastic Partial Differential Equations

We construct a hybrid particle/continuum algorithm for linear diffusion in the fluctuating hydrodynamic limit. The particles act as independent random walkers and the fluctuating diffusion equation is solved by a finite difference scheme. At the interface between the particle and continuum computations the coupling is by flux matching, and yields exact mass conservation. This approach is an ext...